Nuprl Definition : receives 11,40

receives(dEdLpred?infopel)
== filter((r.rcv-from-on(dEdLinfoelr)); eventlist(pred?; sends-bound(pel))) 
latex


Definitionssends-bound(pel), eventlist(pred?e), rcv-from-on(dEdLinfoelr), filter(Pl), receives(dEdLpred?infopel)
FDL editor aliasesreceives

origin